#ifndef _SIS_INTERFACE_H_
#define _SIS_INTERFACE_H_

#ifdef __cplusplus
extern "C" {
#endif

  void sisInit();
  void sisEnd();
  void *sisNetworkDup( void *netlist );
  void sisNetworkFree( void *netlist );
  int sisNumberLiterals( void *netlist );
  void sisNetlistToBLIF( void *netlist, FILE *fp );
  void *sisBLIFToNetlist( FILE *fp );
  int sisNetlistEquiv( void *netlist1, void *netlist2 );
  void sisComExecute( void *netlist, const char *cfile );

#ifdef __cplusplus
}
#endif

#endif
